- Formalisierung (die)
- formalisation
Lexique philosophique allemand-français. D. Seron. 2004.
Formalisierung (die)
Regardez d'autres dictionnaires:
Formalisierung — bedeutet den Vorgang (oder das Ergebnis) des Formalisierens einer Sache. Etwas wird formalisiert, wenn ihm eine (strenge) Form gegeben, es in einer (strengen) Form dargestellt oder bei seiner Durchführung eine vorgegebene (strenge) Form… … Deutsch Wikipedia
Die logische Form der Handlungssätze — (engl. Originaltitel The Logical Form of Action Sentences) ist ein Aufsatz des US amerikanischen Analytischen Philosophen Donald Davidson aus dem Bereich der Handlungstheorie (vgl. Ereignissemantik). Er wurde 1966 bei einem Kongress über The… … Deutsch Wikipedia
Die logische Form der Handlungsätze — Die logische Form der Handlungssätze (engl. Originaltitel The Logical Form of Action Sentences) ist ein Aufsatz des US amerikanischen Analytischen Philosophen Donald Davidson aus dem Bereich der Handlungstheorie (vgl. Ereignissemantik). Er wurde… … Deutsch Wikipedia
Formalisierung — For|ma|li|sie|rung, die; , en: das Formalisieren; das Formalisiertwerden. * * * Formalisierung, 1) Sprachwissenschaft: Anwendung formalisierter Sprachen zur Beschreibung natürlicher Sprachen, wie sie v. a. in der generativen… … Universal-Lexikon
Juliette oder die Vorteile des Lasters — Niederländischer Druck zu de Sades Juliette oder die Vorteile des Lasters , ca. 1800. Juliette oder die Vorteile des Lasters (franz. Originaltitel: Histoire de Juliette, ou les Prospérités du vice ) ist der 1796 vom Schriftsteller Marquis de Sade … Deutsch Wikipedia
Termlogik — Termlogik, in der Philosophie auch traditionelle Logik oder Begriffslogik genannt, bezeichnet diejenige Logik, die mit Aristoteles begann und die bis ins späte 19. Jahrhundert, als die moderne Prädikatenlogik entstand, dominierend war. Um… … Deutsch Wikipedia
Alloperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Allquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Existenzoperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Existenzquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Formale Soziologie — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Soziologie eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Soziologie auf ein akzeptables Niveau zu bringen. Hilf mit, die inhaltlichen Mängel dieses… … Deutsch Wikipedia
